61. FME 2003 :
پدیدآورنده : Keijiro Araki, Stefania Gnesi, Dino Mandrioli
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,System design-- Mathematics, Congresses
رده :
QA76
.
76
.
D47
I593
2003
62. File organization for database design
پدیدآورنده : Wiedrhold, Gio
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، File organization )Computer science(,، Database management,، System design
رده :
QA
76
.
9
.
F5
W53
1987
63. File organization for database design
پدیدآورنده : WIEDERHOLD,GIO
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : FILE ORGANIZATION )COMPUTER SCIENCE( , DATA BASE MANAGEMENT , SYSTEM DESIGN
رده :
QA
76
.
9
.
F5
W53
64. File organization for database design
پدیدآورنده : Wiederhold, Gio
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، File organization )Computer science(,، Database management,، System design,، Database design
رده :
QA
76
.
9
.
F5
W53
1987
65. File organization for database design
پدیدآورنده : Wiederhold, Gio
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، File organization )Computer science(,، Database management,، System design
رده :
QA
76
.
9
.
F5W53
1987
66. File organization for database design
پدیدآورنده : Gio Wiederhold
موضوع : File organization (Computer science),Database management,System design,Database design
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
67. Financial cryptography and data security :
پدیدآورنده : Aviv Zohar, Ittay Eyal, Vanessa Teague, Jeremy Clark, Andrea Bracciali, Federico Pintore, Massimiliano Sala (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer security, Congresses.,Data encryption (Computer science), Congresses.,User-centered system design, Congresses.,Computer security.,Data encryption (Computer science),User-centered system design.
رده :
QA76
.
9
.
A25
68. Formal methods for dynamical systems
پدیدآورنده : Marco Bernardo ... [et al.] (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Formal methods (Computer science), Congresses,System design, Congresses
رده :
QA76
.
9
.
F67
.
I58
2013
69. Formal methods for software architectures :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer software ; Computer architecture ; System design ; Formal methods (Computer science) ;
70. Formal methods for software architectures : Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems : Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003 : advanced lectures
پدیدآورنده : Marco Bernardo, Paola Inverardi )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer software,، Computer architecture,، System design,، Formal methods )Computer science(
رده :
QA
76
.
L28
Vol
.
2804
71. Foundations for designing user-centered systems :
پدیدآورنده : Frank E. Ritter, Gordon D. Baxter, Elizabeth F. Churchill
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Human-computer interaction.,User-centered system design.,Computer Science.,Software Engineering.,User Interfaces and Human Computer Interaction.
رده :
QA76
.
9
.
H85
72. From object-orientation to formal methods
پدیدآورنده : / Olaf Owe, Stein Krogdahl, Tom Lyche (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Object-oriented methods (Computer science),Formal methods (Computer science),System design.
رده :
QA
,
76
.
9
,.
O35
,
F76
,
2004
73. From object-orientation to formal methods : essays in memory of Ole-Johan Dahl
پدیدآورنده : Olaf Owe, Stein Krogdahl, Tom Lyche )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Object-oriented methods )Computer science(,، Formal methods )Computer science(,، System design
رده :
QA
76
.
L28
Vol
.
2635
74. Handbook of data structures and applications
پدیدآورنده : / edited by Dinesh P. Mehta and Sartaj Sahni
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : System design--Handbooks, manuals, etc,Data structures (Computer science)--Handbooks, manuals, etc
رده :
QA76
.
9
.
S88H363
2005
75. Handbook of data structures and applications
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Handbooks, manuals, etc ، System design,Handbooks, manuals, etc ، Data structures )Computer science(
رده :
QA
76
.
9
.
S88
.
H363
2005
76. Information Modelling and Knowledge Bass XIV
پدیدآورنده : edited by Hannu Jaakkol , Hannu Kangassalo...]et al
کتابخانه: کتابخانه مرکزي و مرکز اسناد دانشگاه سمنان (سمنان)
موضوع : ، System design,، expert systems )computer science(
رده :
QA
76
.
9
.
S88I52
2003
77. Information modelling and knowledge bases VIII
پدیدآورنده : H. Kangassolo, J. F. Nilson and S. Ohsuga
موضوع : System design,Expert systems (Computer science),Artificial intelligence
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
78. Information modelling and knowledge bases
پدیدآورنده : edited by Setsuo Ohsuga ... ]et al[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : System design , Expert systems )Computer science( , Artificial intelligence
رده :
QA
76
.
9
.
S88
I52
1992
79. Information modelling and knowledge bases
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، System design,، Expert systems )Computer science(,، Artificial intelligence
رده :
QA
76
.
9
.
S88
.
I52
80. Information modelling and knowledge bases
پدیدآورنده : edited by Setsuo Ohsuga...]et al.[
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، System design,، Expert systems )Computer science(,، Artificial intelligence
رده :
QA
76
.
9
.
S88
I52
